Liên kết ngoài Suy luận

Liên kết ngoài Suy luận

Tra inference hoặc infer trong từ điển mở tiếng Việt Wiktionary

x
t
s

Lĩnh vực

Các loại logic	Cổ điển Thông thường Tư duy phản biện Lý trí Toán Phi cổ điển Triết học
Lý thuyết	Metalogic Metamathematics Tập hợp

Căn cứ

Danh sách

chủ đề	Logic toán Đại số Boole Lý thuyết tập hợp
khác	Nhà logic học Quy tắc suy luận Nghịch lý Ngụy biện Biểu tượng logic

x t s Logic toán
Chung	Ngôn ngữ hình thức Formation rule Hệ hình thức Hệ suy luận Chứng minh hình thức Ngữ nghĩa hình thức (logic) Well-formed formula Tập hợp Phần tử (toán học) Lớp (lý thuyết tập hợp) Classical logic Tiên đề Natural deduction Rule of inference Quan hệ (toán học) Định lý toán học Logical consequence Hệ tiên đề Lý thuyết hình thái Symbol (formal) Syntax (logic) Lý thuyết (logic toán)
Thuật ngữ logic	Mệnh đề toán học Suy luận Luận cứ logic Validity Cogency Tam đoạn luận Square of opposition Sơ đồ Venn
Propositional calculus Đại số Boole	Boolean functions Phép tính mệnh đề Công thức mệnh đề Logical connectives Truth tables
Logic vị từ	Logic bậc nhất Lượng từ (logic) Predicate (mathematical logic) Logic bậc hai Monadic predicate calculus
Naive set theory	Tập hợp Tập hợp rỗng Enumeration Extensionality Tập hợp hữu hạn Tập hợp vô hạn Tập hợp con Tập lũy thừa Tập hợp đếm được Tập hợp không đếm được Recursive set Tập xác định Range (mathematics) Ánh xạ Hàm số Phép toán hai ngôi Cặp được sắp
Lý thuyết tập hợp	Foundations of mathematics Lý thuyết tập hợp Zermelo–Fraenkel Tiên đề chọn General set theory Kripke–Platek set theory Von Neumann–Bernays–Gödel set theory Morse–Kelley set theory Tarski–Grothendieck set theory
Lý thuyết mô hình	Cấu trúc (logic toán) Interpretation (logic) Non-standard model Finite model theory Truth value Validity
Lý thuyết chứng minh	Formal proof Deductive system Hệ hình thức Định lý toán học Logical consequence Rule of inference Syntax (logic)
Lý thuyết tính toán	Recursion Recursive set Recursively enumerable set Decision problem Church–Turing thesis Computable function Primitive recursive function

Tiêu đề chuẩn	BNF: cb11935348h (data) GND: 4139983-3 LCCN: sh85066082 NDL: 00571577

Bài viết này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.

x
t
s

Liên quan

Suy giảm ozon Suy luận thống kê Suy thận Suy luận Bayes Suy giãn tĩnh mạch chân Suy tim Suy hô hấp Suy thoái COVID-19 Suy giảm trí nhớ Suy thượng thận

Tài liệu tham khảo

WikiPedia: Suy luận http://www.thefreedictionary.com/inference https://catalogue.bnf.fr/ark:/12148/cb11935348h https://data.bnf.fr/ark:/12148/cb11935348h https://id.loc.gov/authorities/subjects/sh85066082 https://d-nb.info/gnd/4139983-3 https://id.ndl.go.jp/auth/ndlna/00571577 https://www.wikidata.org/wiki/Q408386#identifiers